From 6af7825b86dc609746a11416acdef286260e1d0c Mon Sep 17 00:00:00 2001
From: Luca Bruno <lucab@debian.org>
Date: Sun, 28 Feb 2016 11:11:33 +0100
Subject: [PATCH] cargo-doc: do not build under nodoc profile

---
 debian/control | 1 +
 debian/rules   | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/debian/control b/debian/control
index 367c0be69..b9d87abbb 100644
--- a/debian/control
+++ b/debian/control
@@ -53,6 +53,7 @@ Description: Rust package manager
 Package: cargo-doc
 Section: doc
 Architecture: all
+Build-Profiles: <!nodoc>
 Depends: ${misc:Depends}, libjs-jquery
 Description: Rust package manager, documentation
  Cargo is a tool that allows Rust projects to declare their various
diff --git a/debian/rules b/debian/rules
index 24fc6bdff..3df0f716e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -56,8 +56,10 @@ endif
 		--local-cargo=$(CURDIR)/cargo-stage0
 	# Build final cargo binary and docs
 	$(MAKE)
+ifeq (,$(findstring nodoc,$(DEB_BUILD_PROFILES)))
 	$(MAKE) doc
 	cd target/doc/ && rm -f jquery.js && ln -s /usr/share/javascript/jquery/jquery.js
+endif
 
 	# Restore from workarounds
 	mv $(CURDIR)/.deps $(DEPSDIR)
-- 
2.30.2